Issue4482.agda:5,24-25
Unexpected implicit argument
when checking the clause left hand side
.extendedlambda0 _ {B = B} {A = A}
